Object Determination Logic Quantification - A System for Natural Language Processing
نویسندگان
چکیده
In this paper we describe a new quantification theory based on the Object Determination Logic(ODL). This theory extends the system of classical quantifiers as a system including the classical and linguistic ones. It takes into account typicality, as a dimension of cognition. This theory represents the background of a computational model in the semantic analysis of natural languages. This paper presents the basic elements of this quantification system (QSODL) and the possibilities of implementing it in a computational system.
منابع مشابه
Logic of Determination of Objects: The Meaning of Variable in Quantification
This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of Determination of Objects (LDO) provides an explanation for the necessary distinction between “whatever, any” and “indeterminate, indefinite” used by the introduction and elimination rules of quantifiers in Natural Deduc...
متن کاملAttribute-Value Formalization in the Framework of the Logic of Determination of Objects (LDO) and Categorization
There are three major formalisms that are developed around concepts. The first one is Formal Concept Analysis (FCA) by B. Ganter and R. Wille (Ganter & Wille 1999). The second formalism is Description Logic (DL) developped during the 1980s for knowledge representation (Baader et al. 2003). The third is Logic of Determination of Objects (LDO) by J.-P. Desclés originating in the 1980s in order to...
متن کاملA Formal Object-Oriented Specification Language without inheritance
Formal specification language and deduction system for object-oriented models is proposed in this article. It extends ς-calculus introduced by Martín Abadi and Luca Cardelli with propositional connectives, and quantified terms. The first-order type system of ς-calculus serves as typing theory of suggested calculus. Deduction system consists of reduction rules of ς-terms, equality theory of ς-ca...
متن کاملApplication of functions Fuzzy Logic and Geographic Information System (GIS) to Determination Potential Areas of Fish of Choghakhor International Wetland
With the increasing use of water resources, increasing population, urbanization, identification and conservation of aquatic ecosystems have received much attention. To this end, researchers consider the use of remote sensing techniques and GIS to be appropriate and efficient. In this study, habitat susceptibility of fish to the Choghakhor wetland in the central plateau of Iran was investigated....
متن کاملAcquisition of cleft structures in L1 and L2
The present study aims at exploring the processing difficulty of cleft structures as a type of relative clause for EFL and Persian as first language learners.The impact of head nouns with various functions as well as that of embedding on the processing of Persian and English cleft structures has been investigated in the present study.The participants were 68 Iranian male and female students...
متن کامل